-
1 теорема определимости
Большой англо-русский и русско-английский словарь > теорема определимости
-
2 теорема определимости
Mathematics: definability theoremУниверсальный русско-английский словарь > теорема определимости
-
3 теорема определимости
definability theorem мат.Русско-английский научно-технический словарь Масловского > теорема определимости
-
4 definability theorem
Большой англо-русский и русско-английский словарь > definability theorem
-
5 definability theorem
Математика: теорема определимости -
6 definability theorem
English-Russian scientific dictionary > definability theorem
См. также в других словарях:
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
ЛОГИЧЕСКАЯ СЕМАНТИКА — раздел металогики, в к ром изучаются интерпретации логических исчислений. Осн. понятия Л. с. можно разделить на 2 группы: (1) понятия, применение к рых к выражениям логич. исчисления существенно зависит от выбора интерпретации (см. также Модель)… … Философская энциклопедия
БЕТ (BETH) Эверт Биллем — (1908 1964) нидерл. философ и логик. В 1933 45 преподаватель Утрехтского ун та; с 1946 проф. логики Амстердамского ун та, с 1952 директор Института философии точных наук в Амстердаме. Испытал влияние логического эмпиризма, особенно работ Карнапа… … Современная западная философия. Энциклопедический словарь
ПРОЕКТИВНОЕ МНОЖЕСТВО — множество, к рое может быть получено из борелевских множеств повторным применением операций проектирования и перехода к дополнению. П. м. классифицируются по классам, образующим проективную иерархию. Пусть I=ww бэровское пространство… … Математическая энциклопедия
БЕТ — БЕТ (Beth) Эверт Биллем (17 июля 1908, Алмело, Нидерланды 12 апреля 1964, Амстердам) нидерландский философ и логик, ученик Брауэра. В 1933 45 преподаватель Утрехтского университета; с 1946 профессор логики Амстердамского университета, с 1952… … Философская энциклопедия
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — одна из наиболее важных ветвей неклассической логики, имеющая своей филос. предпосылкой программу интуиционизма. Выдвигая на первый план математическую интуицию, интуиционисты не придавали большого значения систематизации логических правил.… … Философская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
семантика логическая — СЕМАНТИКА ЛОГИЧЕСКАЯ раздел логической науки, в котором изучают отношения выражений языка к обозначаемым объектам и выражаемому содержанию. Если семантика как раздел семиотики имеет дело с общими аспектами интерпретации любого типа… … Энциклопедия эпистемологии и философии науки
Множеств теория — учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но может быть пояснено при помощи примеров. Так, можно… … Большая советская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия